Utilizing Formal Assertions for System Design of Network Processors

机译：利用形式断言进行网络处理器的系统设计

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Xi Chen; Yan Luo; Harry Hsieh; Laxmi Bhuyan; Felice Balarin;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Interpretation of Assertion-Based Features on AMS Designs [J] . Bruto da Costa A.A., Dasgupta P. Design & Test of Computers, IEEE . 2015,第1期

机译：AMS设计上基于断言的功能的形式化解释
2. How the design of JML accommodates both runtime assertion checking and formal verification [J] . Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Science of Computer Programming . 2005,第1a3期

机译：JML的设计如何适应运行时断言检查和形式验证
3. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [J] . S. Grizalis, D. Spinellis, P. Georgiadis Computer Communications . 1999,第8期

机译：开放网络和分布式系统上的安全协议：用于分析，设计和验证的正式方法
4. Utilizing Formal Assertions for System Design of Network Processors [C] . Xi Chen, Yan Luo, Harry Hsieh, 1st workshop on modules and libraries for proof assistants 2009 . 2009

机译：利用形式断言进行网络处理器的系统设计
5. Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements [D] . ?Jakaria, A. H. M. 2020

机译：基于安全性和灵活性要求自适应网络系统的自动化设计技术正式
6. Design of Flow Systems for Improved Networking and Reduced Noise in Biomolecular Signal Processing in Biocomputing and Biosensing Applications [O] . Arjun Verma, Brian E. Fratto, Vladimir Privman, 2016

机译：在生物计算和生物传感应用中改善生物分子信号处理中的联网并降低噪声的流量系统设计
7. Assertion-Based Design Exploration of DVS in Network Processor Architectures [O] . Jia Yu, Wei Wu, Xi Chen, 2009

机译：网络处理器架构中基于断言的DVS设计探索

Utilizing Formal Assertions for System Design of Network Processors

著录项

引文网络

相似文献

相关主题

期刊订阅